תורישק :תורישקה תייעבב בוש ןייענ?t- t ל s- s מ לולסמ שי םאה 2
|
|
- Γάννης Σπανός
- 6 χρόνια πριν
- Προβολές:
Transcript
1 סריקה לעומק רכיבים אי-פריקים רכיבים קשירים היטב מיון טופולוגי פרק 3 ב- Kleinberg/Tardos פרק ב- al Cormen et
2 קשירות נעיין שוב בבעיית הקשירות: ל- t? האם יש מסלול מ- s
3 קשירות נעיין שוב בבעיית הקשירות: ל- t? האם יש מסלול מ- s s t
4 כשלון הגישה החמדנית s t 3
5 כשלון הגישה החמדנית s t 3
6 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
7 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
8 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
9 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
10 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
11 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
12 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
13 תיקון s t כשנתקעים במבוי סתום, נבטל את הצעד האחרון שנכשל, וננסה כיוון התקדמות אחר. 4
14 connectivity(g,s,t) for each x V do pre[x], post[x], from[x] nil pre_c, post_c DFS(G,s) return pre[t] < DFS(G,x) pre[x] pre_c++ for each y Adj[x] do if pre[y] = then from[y] x DFS(G,y) end if end for post[x] post_c++ end DFS סריקה לעומק (DFS) בצעד הזה מגלים את x בצעד הזה נאמר שהקשת (x,y) נסרקה בצעד הזה חוזרים מ- x סדר הגילוי: pre[x] סדר החזרה: post[x] 5
15 סיבוכיות אתחול: O( V ) מבצעים DFS(G,x) לכל היותר פעם אחת לכל x. נחייב את הקריאה ל-( DFS(G,x על x. למעט הקריאות הרקורסיביות, DFS(G,x) עולה O()+O( Adj[x] ) סה כ: O( V ) + x V {O() + O( Adj[x] )} = O( V + E ) 6
16 סיווג הקשתות הקשתות הנסרקות נחלקות לארבעה סוגים. קשת שנסרקה (x,y) היא: קשת עץ, אם from[y] = x (כלומר, סריקתה גילתה את y). קשת קדימה, אם איננה קשת עץ, אבל y נתגלה בין גילוי x לחזרה מ- x. קשת אחורה, אם x נתגלה בין גילוי y לחזרה מ- y. קשת הצידה, אם האפשרויות האחרות לא נתקיימו. הגרף TDFS הנפרש על ידי קשתות העץ הוא עץ מכוון ששורשו s, והוא פורש את כל הצמתים הנגישים מ- s. 7
17 הדגמה המספרים על הקשתות: סדר הסריקה. זוגות המספרים על הצמתים: סדר הגילוי וסדר החזרה., 8, 3 3 3, 4 4,, , 4 8 6, 7 8, 6 5, קשתות עץ קשתות קדימה קשתות אחורה קשתות הצידה 9, 5 8
18 הערות אפשר להריץ את האלגוריתם על גרף לא מכוון. כל קשת {x,y} תיסרק בשני כיוונים: מ- x ל- y ומ- y ל- x. רק הסריקה הראשונה יכולה לגלות צומת חדש.. הוכיחו כי בסריקה לעומק של גרף לא מכוון אין קשתות הצידה. (הערה: בגרף לא מכוון אין הבדל בין קשתות קדימה וקשתות אחורה - שכנעו את עצמכם שכל הקשתות הללו נסרקות לראשונה בכיוון אחורה.). הוכיחו כי ב- G יש מעגל פשוט המכיל את s אםם בכל הרצת לפחות קשת אחת אחורה שנכנסת ל- s. מקבלים מ- s DFS 9
19 רכיבים אי פריקים הגדרה: נתון גרף לא מכוון.G=(V,E) יהי יחס שקילות על,E שמקיים x y אםם x = y או שיש מעגל פשוט שמכיל את x ו- y. תתי הגרף הנפרשים על ידי מחלקות השקילות של נקראים הרכיבים האי-פריקים של G. שימו לב: הרכיבים האי-פריקים זרים בקשתות, אבל לא בהכרח זרים בצמתים. הקלט: גרף לא מכוון G הפלט: חלוקה של G לרכיבים אי פריקים.
20 תכונות הגדרה: צומת x V נקרא צומת הפרדה אםם הסרתו מגדילה את מספר הרכיבים הקשירים של הגרף. קשת e E נקראת גשר אםם הסרתה מגדילה את מספר הרכיבים הקשירים של הגרף. גשר רכיב אי-פריק עם קשת אחת. צומת הפרדה חיתוך בין שני רכיבים אי-פריקים לא זרים. את הגרף שצמתיו הרכיבים יהי G גרף. נסמן ב-( bc(g האי-פריקים של G וצמתי ההפרדה של G וקשתותיו מחברות בין כל הזוגות של רכיב אי-פריק וצומת הפרדה שמוכל בו. אזי bc(g) הוא עץ.
21 הדגמה צומת הפרדה גשר
22 הדגמה צומת הפרדה גשר
23 הדגמה צומת הפרדה גשר
24 3 הדגמה
25 זיהוי צמתי הפרדה נריץ סריקה לעומק של גרף קשיר G החל מצומת s כלשהו. נתבונן בעץ המכוון. TDFS משפט: השורש s הוא צומת הפרדה אםם יש לו לפחות שני ילדים. כל צומת אחר x הוא צומת הפרדה אםם יש לו ילד y כך שבתת- העץ המושרש ב- y אין אף צומת שממנו קשת אחורה לאב-קדמון של x. 4
26 הוכחה אם ל- s ילד יחיד x, אזי הסרת s מותירה את תת-העץ המושרש ב- x. זהו תת-גרף קשיר של G, לכן s אינו צומת הפרדה. אם ל- s לפחות שני ילדים x ו- y, אזי הסרת s מותירה לפחות שני תתי- עצים המושרשים ב- x וב- y. נניח שיש קשת בין צומת u בתת-עץ אחד לצומת v בתת-העץ האחר. בה כ u נתגלה לפני להגיע ל- v, חייבים אזי בסריקה מ- u.(pre[u] < pre[v] (כלומר, v ולכן v באותו תת-העץ כמו u, וזו סתירה להנחת קיום הקשת. כלומר, תתי-העצים הללו הם רכיבים קשירים נבדלים, ולכן s צומת הפרדה. 5
27 הוכחה (המשך) יהי x צומת שאיננו s. אם יש ל- x ילד y שבתת-העץ המושרש בו אין אף צומת עם קשת אחורה לאב קדמון של x, אזי הסרת x מנתקת את תת-העץ המושרש ב- y משאר הגרף: על פי הנתון אין אף קשת מתת-העץ לצומת במסלול מ- s ל- x. בדומה לטיעון הקודם, גם אין קשת מתת-העץ המושרש ב- y לאיזשהו תת-עץ שאינו מכיל את y. שאר הגרף כולל לפחות צומת אחד, s, ולכן x צומת הפרדה. אחרת, גם אחרי הסרת x כל תת-עץ שמושרש בילד של x נותר ברכיב הקשיר של s. בוודאי כל הצמתים שאינם בתת-העץ המושרש ב- x נותרים ברכיב הקשיר של s. לכן מספר הרכיבים הקשירים לא עולה, ולכן x איננו צומת הפרדה. 6
28 הדגמה s
29 הדגמה s
30 הדגמה s
31 הדגמה s
32 הדגמה s
33 הדגמה s
34 הדגמה s
35 מציאת צמתי הפרדה נחשב לכל צומת x ערך,low[x] שהוא המינימום של pre[z] על כל z שניתן להגיע אליו מתת-העץ המושרש ב- x תוך שימוש בקשת אחורה אחת לכל היותר. צומת x שאיננו s הוא צומת הפרדה אםם יש ל- x ילד y עבורו מתקיים pre[x].low[y] לכל צומת x נחזיק ערך,art[x] שיאותחל ל- no וישונה ל- yes אםם נזהה את x כצומת הפרדה. הערה: קשת {x,y} היא גשר אםם היא קשת עץ (x,y) (בחרנו כיוון בה כ), ו-[ pre[x.low[y] > 8
36 6 הדגמה בכחול: ערך low והקשת שקבעה
37 הדגמה 6 בכחול: ערך low והקשת שקבעה
38 הדגמה 6 בכחול: ערך low והקשת שקבעה
39 הדגמה 6 בכחול: ערך low והקשת שקבעה
40 הדגמה 6 בכחול: ערך low והקשת שקבעה
41 הדגמה 6 בכחול: ערך low והקשת שקבעה
42 הדגמה 6 בכחול: ערך low והקשת שקבעה
43 הדגמה 6 בכחול: ערך low והקשת שקבעה
44 הדגמה 6 בכחול: ערך low והקשת שקבעה
45 הדגמה 6 בכחול: ערך low והקשת שקבעה
46 הדגמה 6 בכחול: ערך low והקשת שקבעה
47 הדגמה 6 בכחול: ערך low והקשת שקבעה
48 הדגמה 6 בכחול: ערך low והקשת שקבעה
49 הדגמה 6 בכחול: ערך low והקשת שקבעה
50 DFS_low(G,x) low[x] pre[x] pre_c++ for each y Adj[x] do if pre[y] = then DFS_low(G,y) if low[y] < low[x] then low[x] low[y] if low[y] pre[x] then art[x] yes else if pre[y] < low[x] then low[x] pre[y] end if end for end DFS_low חישוב low עבור צומת שאיננו השורש במקרה זה y ילד של x מתת-העץ המושרש ב- y יש קשת אחורה לאב קדמון של low[x] הנוכחי במקרה זה y אב קדמון של x
51 סימון הרכיבים האי-פריקים for each y Adj[x] do if {x,y} לא סרקנו עדיין את then push({x,y},stack) נחזיק מחסנית של קשתות זה מונה של מספר הרכיבים את הלולאה של שליפת קשתות מהמחסנית צריך לבצע גם עבור כל ילד y של השורש s. שימו לב: ייתכן של- x יש מספר ילדים שיזהו אותו כצומת הפרדה, ואז כל ילד כזה יגרום לשליפת רכיב אי-פריק. if pre[y] = then... if low[y] pre[x] then art[x] yes bcc_c++ repeat e pop(stack) bcc[e] bcc_c while e {x,y} end if... end if end for
52 סיבוכיות הסריקה לעומק לוקחת O( V + E ) זמן. השינויים לחישוב low לא משנים את הסיבוכיות. לכל קשת מבצעים ()O פעולות מחסנית. סה כ סיבוכיות הזמן: O( V + E ) סיבוכיות המקום: O( V + E )
53 תרגיל בית הוכיחו שבכל פעם שמבצעים את לולאת repeat אכן קבוצת הקשתות הנשלפת מהמחסנית היא רכיב אי- פריק. 3
54 רכיבים קשירים היטב הגדרה: נתון גרף מכוון.G=(V,E) יהי יחס שקילות על V, שמקיים x y אםם יש מסלול מכוון מ- x ל- y וגם מ- y ל- x. תתי הגרף הנפרשים על ידי מחלקות השקילות של נקראים הרכיבים הקשירים היטב של G. שימו לב: תיתכנה קשתות של G שאין כלולות בשום רכיב קשיר היטב. הקלט: גרף מכוון G. הפלט: חלוקה של G לרכיבים קשירים היטב. 4
55 5 הדגמה
56 5 הדגמה
57 KS(G) for each x V do post[x], from[x] nil, scc[x] post_c, scc_c for each x V do if post[x] = then DFS(G,x) end for sort(v,-post) for each x V do if scc[x] = then DFS_scc(G T,x) scc_c++ end if end for end KS אלגוריתם Kosaraju-Sharir הערך scc[x] יציין את מספר הרכיב אליו שייך x. נמיין את V בסדר post יורד הגרף G T מתקבל מ- G על ידי הפיכת כל הקשתות. 6
58 , 7 קשתות עץ קשתות קדימה קשתות אחורה קשתות הצידה 7, 4, 6 8 6, , 3, הדגמה: תוצאות DFS, 3 5, המספרים על הקשתות: סדר הסריקה. זוגות המספרים על הצמתים: סדר הגילוי וסדר החזרה. 7
59 איסוף רכיב קשיר היטב DFS_scc(G,x) scc[x] scc_c for each y Adj[x] do if scc[y] = then DFS_scc(G,y) end for end DFS_scc 8
60 7, קשתות עץ קשתות קדימה קשתות אחורה קשתות הצידה, 4 63, 4 5, 6 7, 5 5, 7 הדגמה: תוצאות DFS_scc , 4 6, 6 המספרים על הקשתות: סדר הסריקה. זוגות המספרים על הצמתים: סדר הגילוי וסדר החזרה. באדום: סדר החזרה ב- DFS 9
61 הוכחת נכונות נתבונן בלולאה של הרצת DFS על G. אבחנה: הגרף הנפרש על ידי קשתות העץ הוא אוסף של עצים מכוונים זרים הפורשים יחד את.V(G) (כל קריאה מהפרוצדורה עץ מושרש ב- x.) מייצרת ל-( DFS(G,x KS הגדרה: לכל x V נסמן ב-( φ(x את הצומת בעל ערך post המירבי מבין כל הצמתים הנגישים מ- x ב- G. לב: φ(x) φ(φ(x)) = (מדוע?) שימו טענה: ב- G יש מסלול מכוון מ-( φ(x ל- x ולכן x ו-( φ(x באותו רכיב קשיר היטב. 3
62 6, 7 3, 3 הדגמה: חישוב φ קשתות עץ קשתות קדימה קשתות אחורה קשתות הצידה 7, 7 5, 7,,, 4, 7 זוגות המספרים על הצמתים: סדר החזרה וערך φ. 3
63 הוכחת נכונות (המשך) הוכחה: אם φ(x) = x אז בוודאי הטענה נכונה. אם חזרנו כבר מ-( φ(x לפני שגילינו את x אז post[x],post[φ(x)] < וזו סתירה להגדרת.φ(x) נניח שגילינו את x לפני שגילינו את.φ(x) אזי יהי z הצומת האחרון במסלול מ- x ל-( φ(x שנתגלה לפני או בזמן גילוי x. יש כזה כי x כזה. כל הצמתים בקטע המסלול מ- z ל-( φ(x עדיין לא נתגלו בזמן גילוי z. לכן כולם, בפרט φ(x) יתגלו בין גילוי z לחזרה מ- z. לכן post[z] post[φ(x)] < וזו סתירה להגדרה של,φ(x) כי z נגיש מ- x. לכן, האפשרות היחידה היא ש- x נתגלה בין גילוי φ(x) לבין החזרה מ-( φ(x, כלומר, x נמצא בתת-העץ המושרש ב-( φ(x, ולכן יש מסלול מכוון מ-( φ(x ל- x. 3
64 הוכחת נכונות (המשך) מסקנה: שני צמתים x,y נמצאים באותו רכיב קשיר היטב אםם φ(y).φ(x) = הוכחה: כל הצמתים באותו רכיב נגישים זה מזה, ולכן לכולם אותו ערך φ. מצד שני, x ו-( φ(x באותו רכיב וכך גם y ו-( φ(y. לכן, אם φ(y),φ(x) = אז x,y באותו רכיב. 33
65 הוכחת נכונות (המשך) עכשיו נתבונן בקריאה ל-( x, DFS_scc(G T הקריאות הקודמות (אם היו) ל- DFS_scc לא גילו את x, ולכן ב- G T אין אף מסלול מצומת שנתגלה בקריאות הקודמות ל- x, כלומר ב- G אין אף מסלול מ- x לצומת שנתגלה בקריאות הקודמות. אבל, קבוצת הצמתים שנתגלתה בקריאות הללו כוללת את כל הצמתים עם ערך post מ- DFS הגדול מ-[ post[x ולכן.φ(x) = x הצמתים המתגלים בקריאה ל-( x, DFS_scc(G T הם בדיוק הצמתים שנגישים ב- G T מ- x. לכל צומת כזה y יש ב- G מסלול מ- y ל- x. אבל x בעל ערך post המירבי מבין כל הצמתים שנותרו, כך ש- x.φ(y) = כלומר, הקריאה ל-( x, DFS_scc(G T מסמנת את הרכיב הקשיר היטב של x. 34
. {e M: x e} מתקיים = 1 x X Y
שימושי זרימה פרק 7.5-13 ב- Kleinberg/Tardos שידוך בגרף דו-צדדי עיבוד תמונות 1 בעיית השידוך באתר שידוכים רשומים m נשים ו- n גברים. תוכנת האתר מאתרת זוגות מתאימים. בהינתן האוסף של ההתאמות האפשריות, יש לשדך
Διαβάστε περισσότεραמתמטיקה בדידה תרגול מס' 13
מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.
Διαβάστε περισσότεραכלליים זמן: S מחסנית, top(s) ראש המחסנית. (Depth First Search) For each unmarked DFS(v) / BFS(v) רקורסיבי. אלגוריתם :BFS
כלליים שיטות חיפוש בבגרפים שיטה 1: חיפוש לרוחב S (readth irst Search) זמן: ) Θ( V + הרעיון: שימוש בתור.O שיטה 2: חיפוש לעומק S (epth irst Search) Θ( V + ) יהי =(V,) גרף כלשהו, V הוא צומת התחלת החיפוש.
Διαβάστε περισσότερα' 2 סמ ליגרת ןורתפ םיפרגה תרותב םימתירוגלא דדצ 1 : הלאש ןורתפ רבסה תורעה
אלגוריתמים בתורת הגרפים פתרון תרגיל מס' 2 לשאלות והערות נא לפנות לאילן גרונאו (shrilan@cs.technion.ac.il) א) ב) ג) גרף דו-צדדי (bipartite) הינו גרף (E )G V, אשר קיימת חלוקה של צמתיו לשתי קבוצות U,W e =
Διαβάστε περισσότεραשדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם
תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא
Διαβάστε περισσότεραפתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur
פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת
Διαβάστε περισσότεραיסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)
יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p
Διαβάστε περισσότεραlogn) = nlog. log(2n
תכנוןוניתוחאלגוריתמים סיכוםהתרגולים n log O( g( n)) = Ω( g( n)) = θ ( g( n)) = תרגול.3.04 סיבוכיות { f ( n) c> 0, n0 > 0 n> n0 0 f ( n) c g( n) } { f ( n) c> 0, n0 > 0 n> n0 0 c g( n) f ( n) } { f ( n)
Διαβάστε περισσότεραתורת הגרפים - סימונים
תורת הגרפים - סימונים.n = V,m = E בהינתן גרף,G = V,E נסמן: בתוך סימוני ה O,o,Ω,ω,Θ נרשה לעצמנו אף להיפטר מהערך המוחלט.. E V,O V + E כלומר, O V + E נכתוב במקום אם כי בכל מקרה אחר נכתוב או קשת של גרף לא
Διαβάστε περισσότεραלדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור
הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין
Διαβάστε περισσότεραגרפים אלגוריתמים בתורת הגרפים הרצאה 1 גיא פלג 15 במרץ 2012 הגדרה: מגן דוגמאות: זוגות לא סדורים כיוון שבקבוצה סדר לא חשוב.
אלגוריתמים בתורת הגרפים הרצאה 1 גיא פלג 15 במרץ 2012 אתר הקורס.clickit3 מרצה : בני מוניץ הציון: מבחן סופי: 80% שיעורי בית 20% ואפשרות לבוחן אמצע 20% מגן גרפים הגדרה: תהי V קבוצה סופית לא ריקה. ותהי E קבוצה
Διαβάστε περισσότεραפתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד
פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה
Διαβάστε περισσότεραתרגיל 13 משפטי רול ולגראנז הערות
Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון
Διαβάστε περισσότεραאלגוריתמים בתורת הגרפים חלק ראשון
גירסה 1. 11.11.22 אלגוריתמים בתורת הגרפים חלק ראשון מסמך זה הינו הראשון בסדרת מסמכים אודות תורת הגרפים, והוא חופף בחלקו לקורס "אלגוריתמים בתורת הגרפים" בטכניון (שאינו מועבר יותר). ברצוני להודות תודה מיוחדת
Διαβάστε περισσότεραצעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים
מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה
Διαβάστε περισσότεραפתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )
פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e
Διαβάστε περισσότεραgcd 24,15 = 3 3 =
מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =
Διαβάστε περισσότεραאלגוריתמים 1, סמסטר אביב 2017
BFS, DFS, Topological Sort תרגיל בית 1 מוסכמות והנחות להלן רשימת הנחות ומוסכמות אשר תקפות לכל השאלות, אלא אם כן נכתב אחרת במפורש בגוף השאלה. עליכם להוכיח נכונות ולנתח סיבוכיות עבור כל אלגוריתם מוצע. במידה
Διαβάστε περισσότεραאלגוריתמים / תרגיל #1
1 אריאל סטולרמן אלגוריתמים / תרגיל #1 קבוצה 02 (1) טענה: אם בגרף לא מכוון וקשיר יש 2 צמתים מדרגה אי זוגית ושאר הצמתים מדרגה זוגית, זהו תנאי הכרחי ומספיק לקיום מסלול אויילר בגרף. הערות: הוכחה: התוספת כי
Διαβάστε περισσότεραאלגוריתמים בתורת הגרפים חלק שני
גירסה 1.00 5.12.2002 אלגוריתמים בתורת הגרפים חלק שני מסמך זה הינו השני בסדרת מסמכים אודות תורת הגרפים, והוא חופף בחלקו לקורס "אלגוריתמים בתורת הגרפים" בטכניון (שאינו מועבר יותר). ברצוני להודות תודה מיוחדת
Διαβάστε περισσότεραפרק 8: עצים. .(Tree) במשפטים הגדרה: גרף ללא מעגלים נקרא יער. דוגמה 8.1: תרגילים: הקודקודים 2 ו- 6 בדוגמה הוא ).
מבוא לפרק: : עצים.(ree) עצים הם גרפים חסרי מעגלים. כך, כיוון פרק זה הוא מעין הפוך לשני הפרקים הקודמים. עץ יסומן לרב על ידי במשפטים 8.1-8.3 נפתח חלק מתכונותיו, ובהמשך נדון בהיבטים שונים של "עץ פורש" של
Διαβάστε περισσότεραחורף תש''ע פתרון בחינה סופית מועד א'
מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר
Διαβάστε περισσότεραל הזכויות שמורות לדפנה וסטרייך
מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות
Διαβάστε περισσότεραbrookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק
יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות
Διαβάστε περισσότεραהגדרה: מצבים k -בני-הפרדה
פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון
Διαβάστε περισσότεραמושגים: קשיר. o בעל 1 קשתות בדיוק.
1 גרפים / חזרה כללית: סיכומים למבחן בקורס אלגוריתמים סמסטר א' 2008-9 (פרופ' מיכה שריר) מושגים: גרף: גרף,, V קבוצת קודקודים, קבוצת קשתות. מכוון: הקשתות הן זוגות סדורים, לא מכוון: הקשתות הן קבוצה בת שני
Διαβάστε περισσότεραדף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות
יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)
Διαβάστε περισσότεραתכנון אלגוריתמים 2016 עבודה 1 שאלה 1 פתרון נתונות שתי בעיות. יש למצוא: אורך מסלול קצר ביותר המתחיל באחד מן הקודקודים s 1,..., s k ומסתיים ב t.
תכנון אלגוריתמים 2016 עבודה 1 פתרון שאלה 1 נזכר כי בגרף (E G, =,V) עבור שני קודקודים d(u, (v,u, v הוא אורך מסלול קצר ביותר מ u ל v. אם אין מסלול מ u ל.d(u, v) =,v נתונות שתי בעיות. בעיה א' מופע: גרף מכוון
Διαβάστε περισσότεραתרגול פעולות מומצאות 3
תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה
Διαβάστε περισσότεραלוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:
לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1
Διαβάστε περισσότεραמבחן מועד ב' בהצלחה! אנא קיראו היטב את ההוראות שלהלן: ודאו כי כל עמודי הבחינה נמצאים בידכם.
7.8.2017 מבחן מועד ב' תאריך הבחינה: שמות המרצים: מר בועז ארד פרופ' עמוס ביימל מר יהונתן כהן דר' עדן כלמטץ' גב' מיכל שמש אנא קיראו היטב את ההוראות שלהלן: שם הקורס: תכנון אלגוריתמים מספר הקורס: 202-1-2041
Διαβάστε περισσότερα{ : Halts on every input}
אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.
Διαβάστε περισσότεραx a x n D f (iii) x n a ,Cauchy
גבולות ורציפות גבול של פונקציה בנקודה הגדרה: קבוצה אשר מכילה קטע פתוח שמכיל את a תקרא סביבה של a. קבוצה אשר מכילה קטע פתוח שמכיל את a אך לא מכילה את a עצמו תקרא סביבה מנוקבת של a. יהו a R ו f פונקציה מוגדרת
Διαβάστε περισσότεραרשימת בעיות בסיבוכיות
ב) ב) רשימת בעיות בסיבוכיות כל בעיה מופיעה במחלקה הגדולה ביותר שידוע בוודאות שהיא נמצאת בה, אלא אם כן מצוין אחרת. כמובן שבעיות ב- L נמצאות גם ב- וב- SACE למשל, אבל אם תכתבו את זה כתשובה במבחן לא תקבלו
Διαβάστε περισσότεραמתמטיקה בדידה תרגול מס' 5
מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון
Διαβάστε περισσότεραתרגול מס' 1 3 בנובמבר 2012
תרגול מס' 1 3 בנובמבר 2012 1 מערכת המספרים השלמים בשיעור הקרוב אנו נעסוק בקבוצת המספרים השלמים Z עם הפעולות (+) ו ( ), ויחס סדר (>) או ( ). כל התכונות הרגילות והידועות של השלמים מתקיימות: חוק הקיבוץ (אסוציאטיביות),
Διαβάστε περισσότεραשאלה 1 V AB פתרון AB 30 R3 20 R
תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A
Διαβάστε περισσότεραתורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות
תורת המספרים סיכום הגדרות טענות ומשפטים אביב 017 1 פירוק לגורמים ראשוניים 1.1 הגדרות חוג A C נקראת חוג אם: היא מכילה את 0 ואת 1 סגורה תחת חיבור, חיסור, וכפל הפיך A חוג. a A נקרא הפיך אם 0,a.a 1 A קבוצת
Διαβάστε περισσότεραמבני נתונים ואלגוריתמים תרגול #8-9
מבני נתונים ואלגוריתמים תרגול #89 מציאת מסלולים קצרים הבעיה: נתון גרף ממשוקל רוצים למצוא את המסלול הקצר בין זוג קודקודים עיקרון הרלקסציה של קשת: בדיקה האם ניתן לשפר מסלול מ s ל v ע"י מעבר דרך קודקוד u:?
Διαβάστε περισσότεραLogic and Set Theory for Comp. Sci.
234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =
Διαβάστε περισσότεραמבני נתונים ויעילות אלגוריתמים
מבני נתונים ויעילות אלגוריתמים (8..05). טענה אודות סדר גודל. log טענה: מתקיים Θ(log) (!) = הוכחה: ברור שמתקיים: 3 4... 4 4 4... 43 פעמים במילים אחרות:! נוציא לוגריתם משני האגפים: log(!) log( ) log(a b
Διαβάστε περισσότερα(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p;
מבני נתונים פתרונות לסט שאלות דומה לשאלות בנושאים () זמני ריצה של פונקציות רקורסיביות () מיונים השאלות פתרו את נוסחאות הנסיגה בסעיפים א-ג על ידי הצבה חוזרת T() כאשר = T() = T( ) + log T() = T() כאשר =
Διαβάστε περισσότεραתרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות
תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si
Διαβάστε περισσότεραרשימת משפטים והגדרות
רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F
Διαβάστε περισσότεραתוכן עניינים I בעיות מיון 2 1 סימון אסימפטוטי... 2 II מבני נתונים 20 8 מבני נתונים מופשטים משפט האב גרפים... 37
תוכן עניינים I בעיות מיון 2 1 סימון אסימפטוטי................................................ 2 2 מיון בועות. Bubble Sort............................................ 2 3 מיון מיזוג. Merge Sort............................................
Διαβάστε περισσότεραתורת הקבוצות תרגיל בית 2 פתרונות
תורת הקבוצות תרגיל בית 2 פתרונות חיים שרגא רוזנר כ"ה בניסן, תשע"ה תזכורות תקציר איזומורפיזם סדר, רישא, טרנזיטיביות, סודרים, השוואת סודרים, סודר עוקב, סודר גבולי. 1. טרנזיטיבות וסודרים קבוצה A היא טרנזיטיבית
Διαβάστε περισσότεραc ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )
הצגות של חבורות סופיות c ארזים 6 בינואר 017 1 משפט ברנסייד משפט 1.1 ברנסייד) יהיו p, q ראשוניים. תהי G חבורה מסדר.a, b 0,p a q b אזי G פתירה. הוכחה: באינדוקציה על G. אפשר להניח כי > 1 G. נבחר תת חבורה
Διαβάστε περισσότερα( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת
הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (
Διαβάστε περισσότεραעצי 2-3 תזכורת: בנים. דוגמאות: Chapter 19: B trees ( ) Chapter 15: Augmenting data structures ( )
עצים מאוזנים Lecture 5 of Geiger & Itai s slide brochure www.cs.technion.ac.il/~dang/courseds תזכורת: משפחת עצים נקראת מאוזנת אם ( h. = (log עצי -3 ועצי דרגות עצי AVL הם עצים מאוזנים. עצי 3- מהווים דוגמא
Διαβάστε περισσότεραמבני נתונים (234218) 1
מבני נתונים (234218) 1 חומר עזר לבחינה 13 בספטמבר 2016 שימו לב: מותר לצטט טענות המופיעות בדף זה ללא הוכחה. כל טענה אחרת, שאינה מופיעה באופן מפורש, יש לנמק באופן מלא. נימוקים מהצורה "בדומה לטענה שבחומר
Διαβάστε περισσότεραאלגוריתמים בתורת הגרפים חלק רביעי
גירסה 00 232003 אלגוריתמים בתורת הגרפים חלק רביעי מסמך זה הינו הרביעי בסדרת מסמכים אודות תורת הגרפים, והוא חופף בחלקו לקורס "אלגוריתמים בתורת הגרפים" בטכניון (שאינו מועבר יותר) ברצוני להודות תודה מיוחדת
Διαβάστε περισσότεραגבול ורציפות של פונקציה סקלרית שאלות נוספות
08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך
Διαβάστε περισσότεραאלגברה ליניארית (1) - תרגיל 6
אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,
Διαβάστε περισσότεραהגדרה: קבוצת פעילויות חוקית היא קבוצה בה כל שתי פעילויות
אלגוריתמים חמדניים אלגוריתם חמדן, הוא כזה שבכל צעד עושה את הבחירה הטובה ביותר האפשרית, ולא מתחרט בהמשך גישה זו נראית פשטנית מדי, וכמובן שלא תמיד היא נכונה, אך במקרים רבים היא מוצאת פתרון אופטימאלי בתרגול
Διαβάστε περισσότεραמינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות
מינימיזציה של DFA L. הוא אוטמומט מינימלי עבור L של שפה רגולרית A ראינו בסוף הסעיף הקודם שהאוטומט הקנוני קיים A DFA בכך הוכחנו שלכל שפה רגולרית קיים אוטומט מינמלי המזהה אותה. זה אומר שלכל נקרא A A לאוטומט
Διαβάστε περισσότεραI. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx
דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה
Διαβάστε περισσότεραאלגברה ליניארית 1 א' פתרון 2
אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק
Διαβάστε περισσότεραמשוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ
משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת
Διαβάστε περισσότεραלוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)
לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור
Διαβάστε περισσότεραלוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר
לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת
Διαβάστε περισσότεραמתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1
1 טורים כלליים 1. 1 התכנסות בהחלט מתכנס. מתכנס בהחלט אם n a הגדרה.1 אומרים שהטור a n משפט 1. טור מתכנס בהחלט הוא מתכנס. הוכחה. נוכיח עם קריטריון קושי. יהי אפסילון גדול מ- 0, אז אנחנו יודעים ש- n N n>m>n
Διαβάστε περισσότεραפתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.
פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך
Διαβάστε περισσότερα1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )
הסתברות למתמטיקאים c ארזים 3 במאי 2017 1 תוחלת מותנה הגדרה 1.1 לכל משתנה מקרי X אינטגרבילית ותת סיגמא אלגברה G F קיים משתנה מקרי G) Y := E (X המקיים: E (X1 A ) = E (Y 1 A ).G מדיד לפי Y.1.E Y
Διαβάστε περισσότεραמבני נתונים מבחן מועד א' סמסטר חורף תשס"ו
TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצים: רן אל-יניב, נאדר בשותי מבני נתונים 234218-1 מבחן מועד א' סמסטר חורף תשס"ו
Διαβάστε περισσότεραתכנון דינאמי. , p p p והמטריצה המתקבלת היא בגודל
תכנון אלגוריתמים, אביב, תרגול מס' תכנון דינאמי תכנון דינאמי בתרגול זה נדון בבעיית הכפלת סדרת מטריצות (6..(CLR ראשית נראה דוגמא:. A, A, A, A נסמן את גודל המטריצות בסדרה ע"י סדרת גדלים כאשר, p 5 5 p היא
Διαβάστε περισσότεραפתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.
בחינת סיווג במתמטיקה.9.017 פתרונות.1 סדרת מספרים ממשיים } n {a נקראת מונוטונית עולה אם לכל n 1 מתקיים n+1.a n a האם הסדרה {n a} n = n היא מונוטונית עולה? הוכיחו תשובתכם. הסדרה } n a} היא אכן מונוטונית
Διαβάστε περισσότεραחידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.
חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.
Διαβάστε περισσότεραחישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r
ל' ' פונקציות פרימיטיביות רקורסיביות חישוביות הרצאה 4 האם כל פונקציה מלאה היא פרימיטיבית רקורסיבית? לא נראה שתי הוכחות: פונקציות רקורסיביות (המשך) זיהוי שפות ע''י מכונות טיורינג הוכחה קיומית: קיימות פונקציות
Διαβάστε περισσότεραחשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.
חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. מרצה: למברג דן תוכן העניינים 3 מספרים ממשיים 1 3.................................. סימונים 1. 1 3..................................
Διαβάστε περισσότεραאלגברה לינארית 1 יובל קפלן
אלגברה לינארית 1 יובל קפלן מחברת סיכום הרצאות ד"ר אלי בגנו בקורס "אלגברה לינארית 1" (80134) באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר
Διαβάστε περισσότεραתורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,
תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו. סודר באמצעות L
Διαβάστε περισσότεραהרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי
הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב 2011 2010 פרופ' יעקב ורשבסקי אסף כץ 15//11 1 סמל לזנדר יהי מספר שלם קבוע, ו K שדה גלובלי המכיל את חבורת שורשי היחידה מסדר µ. תהי S קבוצת הראשוניים הארכימדיים
Διαβάστε περισσότεραRegular Expressions (RE)
Regular Expressions (RE) ביטויים רגולריים עד כה דנו במספר מודלים חישוביים להצגת (או ליצור) שפות רגולריות וראינו שכל המודלים האלה הם שקולים מבחינת כוח החישובי שלהם. בסעיף זה נראה עוד דרך להצגת (או ליצור)
Διαβάστε περισσότεραתרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME
הנדסת המישור - תרגילים הכנה לבגרות תרגילים הנדסת המישור - תרגילים הכנה לבגרות באמצעות Q תרגיל 1 מעגל העובר דרך הקודקודים ו- של המקבילית ו- חותך את האלכסונים שלה בנקודות (ראה ציור) מונחות על,,, הוכח כי
Διαβάστε περισσότεραמתרגלת: שירה גילת סמסטר א 2017 תשע"ז
חוברת תרגולים בקורס "תורת גלואה" 88 311 21 בפברואר 2017 מתרגלת: שירה גילת סמסטר א 2017 תשע"ז ערך: איתי רוזנבאום 1 תורת גלואה תרגול ראשון חזרה מחוגים F שדה F. חוג הפולינומים עם מקדמים ב F [λ] זהו חוג אוקלידי,
Διαβάστε περισσότεραסיכום בנושא של דיפרנציאביליות ונגזרות כיווניות
סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim
Διαβάστε περισσότεραמבנים אלגבריים II 27 במרץ 2012
מבנים אלגבריים 80446 II אור דגמי, or@digmi.org 27 במרץ 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ אלכס לובוצקי בשנת לימודים 2012 1 תוכן עניינים 1 שדות 3 1.1 תזכורת מהעבר....................................................
Διαβάστε περισσότεραקבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.
א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.
Διαβάστε περισσότεραלוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר
לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת
Διαβάστε περισσότεραאלגברה מודרנית פתרון שיעורי בית 6
אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:
Διαβάστε περισσότεραחשבון אינפיניטסימלי 1
חשבון אינפיניטסימלי 1 יובל קפלן סיכום הרצאות פרופ צליל סלע בקורס "חשבון אינפיניטסימלי 1" (80131) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו.
Διαβάστε περισσότεραתוכן הפרק: ,best case, average case דוגמאות 1. זמן - נמדד באמצעות מס' פעולות סיבוכיות, דוגמאות, שיפור בפקטור קבוע האלגוריתם. וגודלם. איטרטיביים. לקלט.
פרק סיבוכיות פרק סיבוכיות המושג יעילות מהו? במדעי המחשב היעילות נמדדת בעזרת מדדי סיבוכיות, החשובים שבהם: של אלגוריתמים יעילותם תוכן הפרק: יעילות מהי (זיכרון וזמן, זמן ריצה T( של אלגוריתם מהו, מהם case,
Διαβάστε περισσότεραמודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015)
מודלים חישוביים מבחן מועד א', סמסטר א' תשע''ה (2015) מרצה: פרופ' בני שור מתרגלים: אורית מוסקוביץ' וגל רותם 28.1.2015 הנחיות: 1. מומלץ לקרוא את כל ההנחיות והשאלות בתחילת המבחן, לפני כתיבת התשובות. 2. משך
Διαβάστε περισσότεραחלק א' שאלה 3. a=3, b=2, k=0 3. T ( n) היותר H /m.
פתרון למבחן במבני נתונים, מועד א', קיץ 2005 חלק א' שאלה 1 א. רכיב הקשירות החזק של קודקוד x בגרף מכוון הינו אוסף כל הקודקודים y שמקימים שיש מסלול מ- x ל- y וכן מסלול מy ל- x. טעויות נפוצות שכחו לכתוב שזה
Διαβάστε περισσότεραבחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד
בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד סמסטר: א' מועד: א' תאריך: יום ה' 0100004 שעה: 04:00 משך הבחינה: שלוש שעות חומר עזר: אין בבחינה שני פרקים בפרק הראשון 8 שאלות אמריקאיות ולכל אחת מהן מוצעות
Διαβάστε περισσότερα3-9 - a < x < a, a < x < a
1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.
Διαβάστε περισσότεραמבני נתונים אדמיניסטרציה ד"ר אלכס סמורודניצקי, רוס 210, שני 5:30 4:15. ציון:
מבני נתונים בס"ד, ט' אדר א' תשע"א: שעור 1 אדמיניסטרציה ד"ר אלכס סמורודניצקי, רוס 210, שני 5:30 4:15. ציון: בחינת מגן 20%. תרגילים: 14 13, מורידים את האחד הכי גרוע. 10% מהציון. אתר: www.cs.huji.ac.il/~dast
Διαβάστε περισσότεραמתמטיקה בדידה תרגול מס' 2
מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.
Διαβάστε περισσότεραמבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5
מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 פברואר 2017, גרסה 1.5 אוניברסיטת בר אילן סמסטר א תשע ז תוכן העניינים 3 מבוא.............................. 4 מבוא לתורת המספרים................... 1 8
Διαβάστε περισσότεραטענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.
1 תשע'א תירגול 8 אלגברה לינארית 1 טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של וקטור אם הוכחה: חד חד ערכית ויהי כך ש מכיוון שגם נקבל מחד חד הערכיות כי בהכרח
Διαβάστε περισσότεραco ארזים 3 במרץ 2016
אלגברה לינארית 2 א co ארזים 3 במרץ 2016 ניזכר שהגדרנו ווקטורים וערכים עצמיים של מטריצות, והראינו כי זהו מקרה פרטי של ההגדרות עבור טרנספורמציות. לכן כל המשפטים והמסקנות שהוכחנו לגבי טרנספורמציות תקפים גם
Διαβάστε περισσότερα[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m
Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות
Διαβάστε περισσότεραמבני נתונים ואלגוריתמים תרגול #11
מבני נתונים ואלגוריתמים תרגול # התאמת מחרוזות סימונים והגדרות: P[,,m] כך Σ * טקסט T )מערך של תווים( באורך T[,,n] n ותבנית P באורך m ש.m n התווים של P ו T נלקחים מאלפבית סופי Σ. לדוגמא: {a,b,,z},{,}=σ.
Διαβάστε περισσότεραמבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22
מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 אוניברסיטת בר אילן סמסטר א תשע ו תוכן העניינים 3 מבוא.............................. 3 מבוא לתורת
Διαβάστε περισσότεραהשאלות ידי מצביעים לילדים.
מבני נתונים פתרונות לסט שאלות דומה לשאלות מתרגיל 4 השאלות 1. כתבו פונקציה לא רקורסיבית שמדפיסה ב- Postorder את כל הנתונים המאוכסנים בעץ בינארי T. הפונקציה אינה צריכה להיות תלויה במימוש העץ T. הניחו שנתון
Διαβάστε περισσότεραTECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE סמסטר אביב תשס"ו מס' סטודנט:
TECHNION ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב מבני נתונים 234218 1 מבחן מועד ב ' סמסטר אביב תשס"ו מרצה: אהוד ריבלין מתרגלים: איתן
Διαβάστε περισσότεραTrie מאפשר חיפוש, הכנסה, הוצאה, ומציאת מינימום (לקסיקוגרפי) של מחרוזות.
מילון למחרוזות - Trie Lecture of Geiger & Itai s slide brochure www.cs.technion.ac.il/~dang/courseds מבני נתונים למחרוזות Trie מאפשר חיפוש, הכנסה, הוצאה, ומציאת מינימום (לקסיקוגרפי) של מחרוזות. המימוש
Διαβάστε περισσότεραהגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה.
1 לוגיקה סיכום הגדרות משפטים ודברים חשובים אחרים תודה רבה לניצן פומרנץ על הסיכום הכולל של החומר הקדמה הגדרה 0.1 טיעון הוא תקף אם בכל פעם שההנחות נכונות גם המסקנה נכונה. הערה 0.2 נשים לב שלכל שפה יש רובד
Διαβάστε περισσότερα1 סכום ישר של תת מרחבים
אלמה רופיסה :הצירטמ לש ןדרו'ג תרוצ O O O O O O ןאבצ זעוב סכום ישר של תת מרחבים פרק זה כולל טענות אלמנטריות, שהוכחתן מושארת לקורא כתרגיל הגדרה: יהיו V מרחב וקטורי, U,, U k V תת מרחבים הסכום W U + U 2 +
Διαβάστε περισσότεραמודלים חישוביים תרגולמס 5
מודלים חישוביים תרגולמס 5 30 במרץ 2016 נושאי התרגול: דקדוקים חסרי הקשר. למת הניפוח לשפות חסרות הקשר. פעולות סגור לשפות חסרות הקשר. 1 דקדוקים חסרי הקשר נזכיר כי דקדוק חסר הקשר הוא רביעיה =(V,Σ,R,S) G, כך
Διαβάστε περισσότερα